From BPEL Processes to YAWL Workflows
نویسندگان
چکیده
BPEL is currently the most widespread language for composing Web services, but it lacks formal semantics. YAWL is a workflow language with a well defined formal semantics that implements the most common workflow patterns. In this paper we provide a methodology for translating BPEL processes into YAWL workflows, thus paving the way for the formal analysis, aggregation and adaptation of BPEL processes. The approach we propose defines a YAWL pattern for each BPEL activity. The translation of a BPEL process reduces then to suitably instantiating and interconnecting the patterns of its activities.
منابع مشابه
BPEL2YAWL: Translating BPEL processes into YAWL workflows
The availability of different languages for the description of Web service behaviour hinders automated Web service aggregation, discovery, and adaptation, as currently there are no available tools for the automated translation of service protocols. In this paper we motivate the choice of YAWL as a lingua-franca to express the interaction behaviour of Web services. Furthermore, we provide the sp...
متن کاملAutomated Generation of BPEL Adapters
The heterogeneous, dynamic, distributed, and evolving nature of Web services calls for adaptation techniques to overcome various types of mismatches that may occur among services developed by different parties. In this paper we present a methodology for the automated generation of (service) adapters capable of solving behavioural mismatches among BPEL processes. The adaptation process, given tw...
متن کاملMaintaining WS-BPEL Workflows Using Aspects
In Service Oriented systems organisational processes are represented as WS-BPEL workflows, WS-BPEL is different from traditional workflow languages as a hybrid of block-based and graph-based language; it also has limited support for separation of concerns. Changes to such processes usually impact many places in the underlying system, without separating such cross-cutting concerns system mainten...
متن کاملThe Declare Service
The Declare Service is a YAWL Custom Service that enables decomposing YAWL tasks into DECLARE workflows, i.e. workflows supported by the workflow management system (WfMS) called DECLARE. The goal of this service is to enable a particular kind of flexibility. Chapter 6 describes a constraint-based approach to workflow models and the ConDec language. This approach, supported by the DECLARE WfMS, ...
متن کاملMiddleware Support for BPEL Workflows in the AO4BPEL Engine
This paper focuses on middleware concerns in BPEL workflows. When looking at those workflows from the implementation perspective, we observe that they have several BPEL-specific middleware requirements, which are not supported by current WS-* specifications and by most BPEL engines available to date. This demo paper will show the AO4BPEL Engine, which implements a container framework that allow...
متن کامل